Mixing the Objective Caml and C# Programming Models in the .Net Framework

We present a new code generator, called O’Jacaré.net, to inter-operate between C# and Objective Caml through their object models. O’Jacaré.net defines a basic IDL (Interface Definition Language) that describes classes and interfaces in order to communicate between Objective Caml and C#. O’Jacaré.net generates all needed wrapper classes and takes advantage of static type checking in both worlds. Although the IDL intersects these two object models, O’Jacaré.net allows to combine features from both.